تعداد ۱۷ پاسخ غیر تکراری از ۱۷ پاسخ تکراری در مدت زمان ۰,۹۱ ثانیه یافت شد.

1. April 3, 2011. Procع۰ب‍cken, Germany, March 26Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr

پدیدآورنده: / Prakash Panangaden (auth.), Martin Hofmann (eds.)

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: METHODS|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY

رده :

E-BOOK

2. Das BUCH der Beweise

پدیدآورنده: Martin Aigner, G[uml}unter M. Ziegler ; mit Zeichn. von Karl H. Hofmann.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Evidence.,Mathematics.

3. Dienstleistungseinkauf :

پدیدآورنده: Erik Hofmann, Martin Hänsel, Carsten Vollrath.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Industrial procurement-- Management.,Purchasing departments-- Management.,Service shopping.,BUSINESS & ECONOMICS-- Industrial Management.,BUSINESS & ECONOMICS-- Management Science.,BUSINESS & ECONOMICS-- Management.,BUSINESS & ECONOMICS-- Organizational Behavior.,Industrial procurement-- Management.,Purchasing departments-- Management.,Service shopping.

رده :

HD39

.

5

4. Extensional constructs in intensional type theory.

پدیدآورنده: Martin Hofmann

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

رده :

QA76

.

9

.

A96

M378

2012

5. Foundations of Software Science and Computational Structures

پدیدآورنده: / Martin Hofmann

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING

رده :

E-BOOK

6. Graphics of large datasets

پدیدآورنده: / Antony Unwin, Martin Theus, Heike Hofmann

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: Statistics , Graphic methods,Computer graphics,Electronic books. , local

رده :

E-BOOK

7. Graphics of large datasets

پدیدآورنده: / Antony Unwin, Martin Theus, Heike Hofmann

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Statistics--Graphic methods,Computer graphics.

رده :

QA

,

276

.

3

,.

U59

,

2006

8. Performance measurement and incentive systems in purchasing :more than just savings

پدیدآورنده: Erik Hofmann, Daniel Maucher, Martin Kotula, Oliver Kreienbrink

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع: Management ، Purchasing

رده :

HF5437

9. Programmierung von verteilten Systemen und Webanwendungen mit Java EE

پدیدآورنده: / Hofmann, Martin Hiller, Gerhard Wanner-llerیFrank M

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING

رده :

E-BOOK

10. Proofs from THE BOOK /

پدیدآورنده: by Martin Aigner, Günter M. Ziegler ; including illustrations by Karl H. Hofmann.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Combinatorial analysis.,Computer science-- Mathematics.,Geometry.,Graph theory.,Mathematical analysis.,Mathematics.,Number theory.,Analysis.,Combinatorics.,Geometry.,Graph Theory.,Mathematics of Computing.,Mathematics.,Number Theory.,Combinatorial analysis.,Computer science-- Mathematics.,Geometry.,Graph theory.,Mathematical analysis.,Mathematics.,Number theory.

رده :

QA39

.

3

.

A36

2018eb

11. Proofs from the Book

پدیدآورنده: \ By Martin Aigner, Gunter M. Ziegler; Including Illustrations by Karl H. Hofmann

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Mathematics,Computer science -- Mathematics,Mathematical analysis,ریاضیات,علوم کامپیوتر -- ریاضیات ,آن‍ال‍ی‍ز ری‍اض‍ی‌

رده :

E-Book

,

12. Proofs from the book

پدیدآورنده: / Martin Aigner, Gunter M. Ziegler, with 240 figures including illustrations by Karl H. Hofmann

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع: Mathematics

رده :

510

A289P

2001

13. Proofs from the book /

پدیدآورنده: Martin Aigner, Günter M. Ziegler ; including illustrations by Karl H. Hofmann

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Mathematics

رده :

QA36

.

A36

2004

14. 26, 2010, Revised Selected Papers-Trustworthly Global Computing: 5th International Symposium, TGC 2010, Munich, Germany, February 24

پدیدآورنده: / Martin Wirsing, Martin Hofmann, Axel Rauschmayer

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: ENGINEERING (uncategorised)&COMPUTER SCIENCE

رده :

E-BOOK

15. Sternfreie Sprachen

پدیدآورنده: Martin Hofmann

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

رده :

QA267

.

M378

9999

16. Trustworthly Global Computing

پدیدآورنده: / Martin Wirsing, Martin Hofmann, Axel Rauschmayer

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع: METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY

رده :

E-BOOK

17. Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 2003 : proceedings

پدیدآورنده: Martin Hofmann )ed.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Lambda calculus

رده :

QA

76

.

L28

Vol

.

2701

»
1
«

این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است